#include <hwip/scb.h>

#define SCB ((SCB_Type *)(0xE000E000UL + 0x0D00UL))

void SystemInit(void)
{
	// Enable FPU
	SCB->CPACR |= ((3UL << 10*2)|(3UL << 11*2));
}
